LNCS568

LNCS568
-H.-J. Bürckert: A Resolution Principle for a Logic with Restricted Quantifiers, Subseries LNAI, Springer-Verlag 1991

Acronyms von A bis Z. 2013.

Игры ⚽ Нужен реферат?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • LNCS568 — H. J. Bürckert: A Resolution Principle for a Logic with Restricted Quantifiers, Subseries LNAI, Springer Verlag 1991 …   Acronyms

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”